COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.PORTION TITLEPAGE
C00005 ENDMK
C⊗;
.DEVICE XGP
.!XGPCOMMANDS←"/TMAR=100/PMAR=2200/BMAR=100"

.FONT 1 "FIX25"
.FONT 2 "SIGN57"
.FONT 3 "SHD40"
.FONT 4  "BDI25"
.FONT 5  "NGR20"
.TURN ON "↓_π{"
.TURN ON "⊗" FOR "%"
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.TABBREAK
.COMPACT
.SELECT 1
.PORTION TITLEPAGE
.BEGIN CENTER 
.RETAIN
.PAGE FRAME 54 HIGH 91 WIDE
.EVENLEFTBORDER←ODDLEFTBORDER←1000;
.NEXT PAGE
⊗2SYNTHESIS OF LARGE PROGRAMS
FROM SPECIFIC DIALOGUES⊗*

⊗4Using the BEINGS representation of knowledge⊗*


.SKIP 4
Draft for the International Symposium on Proving and Improving Programs
.END
.SKIP 4


.BEGIN NOFILL SELECT 4 INDENT 6
1. Motivation
2. Task
3. Target Program
4. Annotated Protocol
5. The BEINGs Scheme
6. Control in the System
7. Theoretical Aspects of the System
8. Ideal and Real Systems
9. Questions for Automatic Programming Systems
10.Examples from the Dialogue
11.Excerpt from the Synthesized Program Itself Running
12.Other Tasks
13.Numerical Efficiency Data
14.Conclusions

.END
.SKIP 4

⊗3DOUGLAS B. LENAT 


STANFORD UNIVERSITY

ARTIFICIAL INTELLIGENCE LABORATORY⊗*




⊗5{DATE}⊗*